probability 1/(X^3 pi) < 1/2 for X normal distributed